ISOGA: A System for Geographical Reachability Analysis

نویسندگان

  • Markus Innerebner
  • Michael H. Böhlen
  • Johann Gamper
چکیده

In this paper, we present a web-based system, termed ISOGA, that uses isochrones to perform geographical reachability analysis. An isochrone in a spatial network covers all space points from where a query point is reachable within given time constraints. The core of the system builds an efficient algorithm for the computation of isochrones in multimodal spatial networks. By joining isochrones with other databases, various kinds of geospatial reachability analysis can be performed, such as how well is a city covered by public services or where to look for an apartment at moderate prices that is close to the working place. ISOGA adopts a service-oriented three-tier architecture and uses technologies that are compliant with OGC standards. We describe several application scenarios in urban and extra-urban areas, which show the applicability of the tool.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reachability checking in complex and concurrent software systems using intelligent search methods

Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...

متن کامل

Environmental Planning for Wind Power Plant Site Selection using a Fuzzy PROMETHEE-Based Outranking Method in Geographical Information System

Selection of suitable sites for wind power plants is one of the most important decision on wind resources development. Site selection for the establishment of large wind power plants requires spatial evaluation taking technical, economic, and environmental considerations into account. This study has applied a combination of PROMETHEE and Fuzzy AHP methods in a geographical information system en...

متن کامل

On the analysis of nonlinear nilpotent switched systems using the Hall-Sussmann system

We consider an open problem on the stability of nonlinear nilpotent switched systems posed by Daniel Liberzon. Partial solutions to this problem were obtained as corollaries of global nice reachability results for nilpotent control systems. The global structure is crucial in establishing stability. We show that nice reachability analysis may be reduced to the reachability analysis of a specific...

متن کامل

A Purpose-Directed Reachability Analysis Approach

The paper presents a new approach for reachability analysis. This is based on analysis purposes that are established by an analyser expert. The analysis purposes address system specification parts that may be ‘suspected’ of presenting non-reachable states and thus the analysis is especially focused on. Such information about ‘suspicious’ specification parts to be checked is based on special kno...

متن کامل

Reachability of linear hybrid systems described by the general model

The reachability of standard and positive hybrid linear systems described by the general model is addressed. Necessary and sufficient conditions for the reachability of the standard general model are established. Sufficient condition is given for the reachability of positive hybrid system described by the general model. The considerations are illustrated by numerical examples.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013